On a computer-assisted method for proving existence of solutions of boundary value problems

Författare: Institutionen för numerisk analys och datalogi (Stockholm) Per-Olov Åsén Malin Siklosi; (Malin Siklosi and Per-Olov Åsén.)
Språk: Engelska

Förlag	År	Ort	Om boken	ISBN
	2004	Sverige, Stockholm	32 sidor.